121. New computational paradigms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ; Congresses. ;
122. New computational paradigms
پدیدآورنده : / S. Barry Cooper, Benedikt Leowe, Andrea Sorbi, editors
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computable functions.
رده :
QA
,
9
.
59
,.
N495
,
2008
123. New computational paradigms : First Conference on Computability in Europe, CIE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings
پدیدآورنده : S. Barry Cooper, Benedikt Loewe, Leen Torenvliet )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computable functions
رده :
QA
76
.
L28
Vol
.
3526
124. New computational paradigms: changing conceptions of what is computable
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
N495
2008
125. New computational paradigms : changing conceptions of what is computable
پدیدآورنده : S. Barry Cooper, Benedikt Lowe, Andrea Sorbi, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
N492
126. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
127. Non-classical logics, model theory, and computability
پدیدآورنده : / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
128. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
129. Ordinal Computability :
پدیدآورنده : Merlin Carl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computable functions.,MATHEMATICS-- Logic.
رده :
QA9
.
59
.
C37
2019
130. Philosophical explorations of the legacy of Alan Turing : Turing 100
پدیدآورنده : Juliet Floyd, Alisa Bokulich, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Turing, Alan Mathison, 2191-4591,، Mathematics -- Philosophy,، Computable functions,، Cryptography,، Enigma cipher system
رده :
QA
29
.
T8P46
131. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
132. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
133. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
134. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
135. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
136. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
137. #Recursively enumerable sets and degrees
پدیدآورنده : #Robert I. Soare
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Recursive functions ،Computable functions
رده :
#
QA
،#.
S63
138. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
139. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
140. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
